Den formella logiken utvecklades under nittonhundratalet till en bred matematisk teoribildning vars begrepp och resultat har fått slående tillämpningar inom beräkningsteori, datalogi och matematik. Samtidigt har ämnet i högsta grad sin anknytning till grunderna för det logiska tänkandet, och[...]

Java har under de senaste åren allt mer etablerat sig både som praktiskt programmeringsspråk och som språk för högskole- och gymnasiekurser i objektorienterad programmering. Denna tredje upplaga av Java från grunden riktar sig liksom tidigare upplagor främst till nybörjare i programmering. [...]